481. Stochastic algorithms
المؤلف: / Kathleen Steinh?�fel, ed
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Algorithms--Congresses,Stochastic approximation--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
9
.
58
,.
S24
,
2001
482. Stochastic algorithms: foundations and applications
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Algorithms,Congresses ، Stochastic approximation,Congresses ، Computer science-- Mathematics
رده :
QA
9
.
58
.
S24
2005
483. Stochastic algorithms: foundations and applications
المؤلف: / Oleg B. Lupanov ... [et al.] (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Algorithms--Congresses,Stochastic approximation--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
9
.
58
,.
S243
,
2005
484. Stochastic algorithms : foundations and applications : second international symposium, SAGA 2003, Hatfield, UK, September 22-23, 2003 : proceedings
المؤلف: Andreas Albrecht, Kathleen Steinhofel )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Algorithms,Congresses ، Stochastic approximation,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
2827
485. Stochastic algorithms : foundations and applications : third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005 : proceedings
المؤلف: Oleg B. Lupanov...]et al.[ )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Algorithms,Congresses ، Stochastic approximation,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
3777
486. Stochastic algorithms: foundations and applications: third international Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005: proceedings
المؤلف: SAGA 5002 )5002: Moscow, Russia(
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: Congresses ، Algorithms,Congresses ، Stochastic approximation,Congresses ، Computer science -- Mathematics
رده :
QA
9
.
58
.
S24
2005
487. Term rewriting and applications : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings
المؤلف: Frank Pfenning )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
4098
488. Term rewriting and applications: 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006: proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
267
.
I555
2006
489. The second Aizu International Symposium on Parallel Algorithms / Architecture Synthesis : proceedings, March 17-21, 1997, Aizu-Wakamatsu, Fukushima, Japan
المؤلف: sponsored by the University of Aizu; in cooperation with IEEE Computer Society Technical Committee on Computer Architecture ... ]et al.[ ; editors, Nikolay Mirenkov ... ]et al.[
المکتبة: (طهران)
موضوع: Parallel algorithms - Congresses , Parallel programming )Computer science( - Congresses
رده :
QA
76
.
642
.
A43
1997
490. Theory and Applications of Satisfiability Testing – SAT 2015
المؤلف: \ Marijn Heule , Sean Weaver (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer algorithms -- Congresses.,Computer software -- Verification -- Congresses,Computer algorithms.,الگوریتم‌های کامپیوتری -- کنگره ها ,نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها ,الگوریتم‌های کامپیوتری
رده :
QA
76
.
9
.
A43
2015
E-Book
,
491. Theory and applications of satisfiability testing -- SAT 2019 :
المؤلف: Mikoláš Janota, Inês Lynce (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer algorithms, Congresses.,Computer software-- Verification, Congresses.,Computer algorithms.,Computer software-- Verification.
رده :
QA76
.
9
.
A43
492. Theory and applications of satisfiability testing -- SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006 : proceedings
المؤلف: Armin Biere, Carla P. Gomes )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
4121
493. Theory and applications of satisfiability testing : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings
المؤلف: Fahiem Bacchus, Toby Walsh )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
3569
494. Theory and applications of satisfiability testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers
المؤلف: Holger H. Hoos, David G. Mitchell )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Propositional calculus,Congresses ، Computer algorithms,Congresses ، Decision making
رده :
QA
76
.
L28
Vol
.
3542
495. Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers
المؤلف: Enrico Giunchiglia, Armando Tacchella )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
2919
496. Theory and practice of algorithms in (computer) systems
المؤلف: Alberto Marchetti-Spaccamela, Michael Segal (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer algorithms, Congresses
رده :
QA76
.
9
.
A43
T37
2011
497. Theory of algorithms
المؤلف: edited by L. Lovasz and E. Szemeredi
المکتبة: (طهران)
موضوع: Congresses ، Algorithms,Congresses ، Machine translating,Congresses ، Computer programming
رده :
QA
9
.
58
.
C64
1984
498. Tools and algorithms for the construction and analysis of systems :
المؤلف: Dirk Beyer, Marieke Huisman (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
رده :
QA76
.
9
.
S88
499. Topics in theoretical computer science :
المؤلف: Luís S. Barbosa, Mohammad Ali Abam (Eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science, Congresses.,Algorithms & data structures.,Computer science.,Computer science.,Computers-- Data Processing.,Computers-- Machine Theory.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
500. VLSI Algorithms and Architectures : 3rd Aegean Workshop on Computing, AWOC88, Corfu, Greece, June 28-July, 1988 : Proceedings
المؤلف: J.H. Reif ]ed.[
المکتبة: (طهران)
موضوع: Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Computer architecture,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
319
